Complete Definition of "existential quantifier"

English

Noun

wikipedia
existential quantifier (plural existential quantifiers)

  1. logic The operator, represented by the symbol �, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set.

#: Some verbal equivalents are "there exists" or "there is".

See also
universal quantifier

Translations
French: quantificateur existentiel

fr:existential quantifier

Revision and Credits for"existential quantifier"
Dictionary content provided from Wiktionary.org under the
GNU Free Documentation License
 
 

 Find:
  Words Starting With:
  Words Ending With:
  Words Containing:
  Words That Match:

 
 Translate Into:
  
Dutch   French   German
  
Italian   Spanish
    Show results per page.

Browse the Dictionary
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

   
Allwords Copyright 1998-2025 All rights reserved.